using System;
namespace Microsoft.Data.Edm.Expressions
{
	/// <summary>
	/// Represents an EDM type assertion expression.
	/// </summary>
	public interface IEdmAssertTypeExpression : IEdmExpression, IEdmElement
	{
		/// <summary>
		/// Gets the expression for which the type is asserted.
		/// </summary>
		IEdmExpression Operand
		{
			get;
		}
		/// <summary>
		/// Gets the asserted type.
		/// </summary>
		IEdmTypeReference Type
		{
			get;
		}
	}
}